Completeness, Robustness, and Safety in Real-Time Software Requirements Specification. - Matthew S. Jaffe; Nancy G. Leveson (ICSE, 1989)

Analysis capabilities for requirements specified in statecharts. - Bonnie E. Melhart; Nancy G. Leveson; Matthew S. Jaffe (IWSSD, 1989)

Software Requirements Analysis for Real-Time Process-Control Systems. - Matthew S. Jaffe; Nancy G. Leveson; Mats Per Erik Heimdahl; Bonnie E. Melhart (IEEE Trans. Software Eng., 1991)