Using PVS to analyze hierarchical state-based requirements for completeness and consistency. - Mats Per Erik Heimdahl; Barbara J. Czerny (HASE, 1996)

Checking properties of safety critical specifications using efficient decision procedures. - David Y. W. Park; Jens U. Skakkebæk; Mats Per Erik Heimdahl; Barbara J. Czerny; David L. Dill (FMSP, 1998)

Automated Integrative Analysis of State-based Requirements. - Barbara J. Czerny; Mats Per Erik Heimdahl (ASE, 1998)

Specification and Analysis of Intercomponent Communication. - Mats Per Erik Heimdahl; Jeffrey M. Thompson; Barbara J. Czerny (Computer, 1998)

Identifying Domain Axioms Using Binary Decision Diagrams. - Barbara J. Czerny; Mats Per Erik Heimdahl (HASE, 1999)

Providing convincing evidence of safety in X-by-wire automotive systems. - Barbara J. Czerny; Joseph G. D'Ambrosio; Brian T. Murray (HASE, 2000)

On the analysis needs when verifying state-based software requirements: an experience report. - Mats Per Erik Heimdahl; Barbara J. Czerny (Sci. Comput. Program., 2000)