Formal Test Automation: A Simple Experiment. - Axel Belinfante; Jan Feenstra; René G. de Vries; Jan Tretmans; Nicolae Goga; Loe M. G. Feijs; Sjouke Mauw; Lex Heerink (IWTCS, 1999)

Formal Test Automation: The Conference Protocol with PHACT. - Lex Heerink; Jan Feenstra; Jan Tretmans (TestCom, 2000)

Automated Testing in Practice: The Highway Tolling System. - René G. de Vries; Axel Belinfante; Jan Feenstra (TestCom, 2002)