The Formal Specification and Design of a Distributed fElectronic Funds-Transfer System. - Mark G. Staskauskas (IEEE Trans. Computers, 1988)

Formal Derivation of Concurrent Programs: An Example from Industry. - Mark G. Staskauskas (IEEE Trans. Software Eng., 1993)

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)

Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines. - Samuel Huang; David Lee; Mark G. Staskauskas (FORTE, 1996)

A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. - Mark A. Ardis; John A. Chaves; Lalita Jategaonkar Jagadeesan; Peter Mataga; Carlos Puchol; Mark G. Staskauskas; James Von Olnhausen (IEEE Trans. Software Eng., 1996)

Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. - Patrice Godefroid; Doron A. Peled; Mark G. Staskauskas (IEEE Trans. Software Eng., 1996)

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)

Applying Formal Methods to a Protocol Standard and its Implementations. - Glenn Bruns; Mark G. Staskauskas (PDSE, 1998)