Didier Buchs Luis Pedro Levi Lucio Formal Test Generation from UML Models. 145-171 2006 conf/dics/2006 Research Results of the DICS Program http://dx.doi.org/10.1007/11808107_7 db/conf/dics/dics2006.html#BuchsPL06