Juergen Grossmann Ines Fey Alexander Krupp Mirko Conrad Christian Wewetzer Wolfgang Müller 0003 TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. 98-117 2006 ASWSD http://dx.doi.org/10.1007/978-3-540-70930-5_7 conf/aswsd/2006 db/conf/aswsd/aswsd2006.html#GrossmannFKCWM06