Simon Pickin Claude Jard Yves Le Traon Thierry Jéron Jean-Marc Jézéquel Alain Le Guennec System Test Synthesis from UML Models of Distributed Software. 97-113 2002 conf/forte/2002 FORTE http://link.springer.de/link/service/series/0558/bibs/2529/25290097.htm db/conf/forte/forte2002.html#PickinJTJJG02