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)

A compendium of processor allocation strategies for two-dimensional mesh connected systems. - Bonnie E. Melhart; Craig A. Morgenstern; Tom Nute (Concurr. Pract. Exp., 1995)

Software assessment to support certification for an existing computer-based system. - Steven McDonnell; Bonnie E. Melhart (ECBS, 1996)

Engineering of computer-based systems-a proposed curriculum for a degree program at Master level. - Jonah Z. Lavi; Bonnie E. Melhart; Ian Pyle (ECBS, 1997)

A Taxonomy for Scenario Use in Requirements Elicitation and Analysis of Software Systems. - Brian D. Chance; Bonnie E. Melhart (ECBS, 1999)

Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements. - Bonnie E. Melhart; Stephanie M. White (ECBS, 2000)

Engineering of Computer-Based Systems -A Proposed Curriculum for a Degree Program at Bachelor Level. - Darren Dalcher; Mike Mannion; Jonah Z. Lavi; Reuven Gallant; Bonnie E. Melhart; Regina M. Gonzales (ECBS, 2001)

Implementation of Object-Oriented Protocol Agents in Communication Devices. - Michael Newton; Bonnie E. Melhart (ECBS, 2001)