Sebastian Schlecht Oliver Alt Strategien zur Testfallgenerierung aus SysML Modellen. 101-106 2007 conf/se/2007w Software Engineering (Workshops) db/conf/se/se2007w.html#SchlechtA07