David Lugato Céline Bigot Yannick Valot Jean-Pierre Gallois Sébastien Gérard François Terrier Validation and automatic test generation on UML models: the AGATHA approach. 124-139 2004 5 STTT 2-3 http://www.springerlink.com/index/10.1007/s10009-003-0133-6 db/journals/sttt/sttt5.html#LugatoBVGGT04