TY  - SER
AU  - Labaw, Bruce
AU  - Heitmeyer, Constance
AU  - Bharadwaj, Ramesh
TI  - Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
KW  - Requirements
KW  - Abstraction
KW  - Simulation
ER  -