MATERA - An Integrated Framework for Model-Based Testing. - Fredrik Abbors; Andreas Backlund; Dragos Truscan (ECBS, 2010)