Interval reduction through requirements analysis. - Gerard J. Holzmann; Margaret H. Smith (Bell Labs Tech. J., 1998)

Software Model Checking. - Gerard J. Holzmann; Margaret H. Smith (FORTE, 1999)

A Practical Method for Verifying Event-Driven Software. - Gerard J. Holzmann; Margaret H. Smith (ICSE, 1999)

Automating software feature verification. - Gerard J. Holzmann; Margaret H. Smith (Bell Labs Tech. J., 2000)

Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. - Margaret H. Smith; Gerard J. Holzmann; Kousha Etessami (RE, 2001)

Software model checking: extracting verification models from source code. - Gerard J. Holzmann; Margaret H. Smith (Softw. Test. Verification Reliab., 2001)

An Automated Verification Method for Distributed Systems Software Based on Model Extraction. - Gerard J. Holzmann; Margaret H. Smith (IEEE Trans. Software Eng., 2002)

Automated Testing of Planning Models. - Klaus Havelund; Alex Groce; Gerard J. Holzmann; Rajeev Joshi; Margaret H. Smith (MoChArt, 2008)

Requirements Capture with RCAT. - Margaret H. Smith; Klaus Havelund (RE, 2008)

An Entry Point for Formal Methods: Specification and Analysis of Event Logs - Howard Barringer; Alex Groce; Klaus Havelund; Margaret H. Smith (FMA, 2009)

From scripts to specifications: the evolution of a flight software testing effort. - Alex Groce; Klaus Havelund; Margaret H. Smith (ICSE (2), 2010)

Formal Analysis of Log Files. - Howard Barringer; Alex Groce; Klaus Havelund; Margaret H. Smith (J. Aerosp. Comput. Inf. Commun., 2010)