Lex Heerink Jan Feenstra Jan Tretmans Formal Test Automation: The Conference Protocol with PHACT. 211-220 2000 conf/pts/2000 TestCom db/conf/pts/testcom2000.html#HeerinkFT00