Automating test cases generation: from xtUML system models to QML test models. - Federico Ciccozzi; Antonio Cicchetti; Toni Siljamäki; Jenis Kavadiya (MOMPES, 2010)