Lars Frantzen Jan Tretmans Tim A. C. Willemse A Symbolic Framework for Model-Based Testing. 40-54 2006 conf/fates/2006 FATES/RV http://dx.doi.org/10.1007/11940197_3 db/conf/fates/fates2006.html#FrantzenTW06