MT: A Toolset for Specifying and Analyzing Real-Time Systems. - Paul C. Clements; Constance L. Heitmeyer; Bruce G. Labaw; A. T. Rose (RTSS, 1993)

Consistency checking of SCR-style requirements specifications. - Constance L. Heitmeyer; Bruce G. Labaw; Daniel L. Kiskis (RE, 1995)

Automated Consistency Checking of Requirements Specifications. - Constance L. Heitmeyer; Ralph D. Jeffords; Bruce G. Labaw (ACM Trans. Softw. Eng. Methodol., 1996)

A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. - Monica Brockmeyer; Farnam Jahanian; Elly Winner; Constance L. Heitmeyer; Bruce G. Labaw (HASE, 1997)

The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. - Constance L. Heitmeyer; James Kirby; Bruce G. Labaw (ICSE, 1997)

A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. - Monica Brockmeyer; Farnam Jahanian; Constance L. Heitmeyer; Bruce G. Labaw (IEEE Real Time Technology and Applications Symposium, 1997)

SCR*: A Toolset for Specifying and Analyzing Software Requirements. - Constance L. Heitmeyer; James Kirby; Bruce G. Labaw; Ramesh Bharadwaj (CAV, 1998)

Applying the SCR requirements method to a weapons control panel: an experience report. - Constance L. Heitmeyer; James Kirby; Bruce G. Labaw (FMSP, 1998)

Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. - Constance L. Heitmeyer; James Kirby; Bruce G. Labaw; Myla Archer; Ramesh Bharadwaj (IEEE Trans. Software Eng., 1998)