Experiences using statecharts for a system requirements specification. - Nancy G. Leveson; Mats P. E. Heimdahl; Holly Hildreth; Jon Damon Reese; R. Ortega (IWSSD, 1991)

Requirements Specification for Process-Control Systems. - Nancy G. Leveson; Mats Per Erik Heimdahl; Holly Hildreth; Jon Damon Reese (IEEE Trans. Software Eng., 1994)

Software Deviation Analysis. - Jon Damon Reese; Nancy G. Leveson (ICSE, 1997)

Software Requirements Specification and System Safety. - Mats Per Erik Heimdahl; Jon Damon Reese (RE, 1997)

Integrated Safety Analysis of Requirements Specifications. - Francesmary Modugno; Nancy G. Leveson; Jon Damon Reese; Kurt Partridge; Sean D. Sandys (Requir. Eng., 1997)

Model Checking Large Software Specifications. - William Chan 001; Richard J. Anderson 001; Paul Beame; Steve Burns 002; Francesmary Modugno; David Notkin; Jon Damon Reese (IEEE Trans. Software Eng., 1998)

Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. - Nancy G. Leveson; Mats Per Erik Heimdahl; Jon Damon Reese (ESEC / SIGSOFT FSE, 1999)