Formal validation of virtual finite state machines. - Alan R. Flora-Holmquist; Mark G. Staskauskas (WIFT, 1995)

Experiences in applying formal methods to the analysis of software and system requirements. - David Hamilton; Richard Covington; John Kelly; Carron Kirkwood; Muffy Thomas; Alan R. Flora-Holmquist; Mark G. Staskauskas; Steven P. Miller; Mandayam K. Srivas; George Cleland; Donald MacKenzie (WIFT, 1995)

The virtual finite-state machine design and implementation paradigm. - Alan R. Flora-Holmquist; Edward Morton; James D. O'Grady; Mark G. Staskauskas (Bell Labs Tech. J., 1997)