Eugen Fischer Peter Knauber Formalizing Platform-independent Test Cases for Model-driven Software Development. 169 2008 SPLC (2) conf/splc/2008w db/conf/splc/splc2008w.html#FischerK08