Axel Belinfante Jan Feenstra René G. de Vries Jan Tretmans Nicolae Goga Loe M. G. Feijs Sjouke Mauw Lex Heerink Formal Test Automation: A Simple Experiment. 179-196 1999 conf/pts/1999 IWTCS db/conf/pts/pts1999.html#BelinfanteFVTGFMH99