Wolfgang Prenninger Mohammad El-Ramly Marc Horstmann Case Studies. 439-461 2004 conf/dagstuhl/2004test Model-Based Testing of Reactive Systems http://dx.doi.org/10.1007/11498490_19 db/conf/dagstuhl/test2004.html#PrenningerEH04