Formal Test Automation: The Conference Protocol with TGV/TORX. - Lydie du Bousquet; Solofo Ramangalahy; Séverine Simon; César Viho; Axel Belinfante; René G. de Vries (TestCom, 2000)