Alexander Pretschner Jan Philipps Methodological Issues in Model-Based Testing. 281-291 2004 conf/dagstuhl/2004test Model-Based Testing of Reactive Systems http://dx.doi.org/10.1007/11498490_13 db/conf/dagstuhl/test2004.html#PretschnerP04