Fabrice Bouquet C. Grandpierre Bruno Legeard Fabien Peureux Nicolas Vacelet Mark Utting A subset of precise UML for model-based testing. 95-104 2007 conf/amost/2007 A-MOST http://doi.acm.org/10.1145/1291535.1291545 db/conf/amost/amost2007.html#BouquetGLPVU07