Simon Pickin Claude Jard Thierry Jéron Jean-Marc Jézéquel Yves Le Traon Test Synthesis from UML Models of Distributed Software. 252-269 2007 33 IEEE Trans. Software Eng. 4 http://dx.doi.org/10.1109/TSE.2007.39 db/journals/tse/tse33.html#PickinJJJT07