"States and Modes Requirements Modeling and Verification Domain Specific Language Model checking ; States and Modes ; Requirements Modeling and Verification ; Domain Specific Language ; Model checking"

Modelling and Verification of Natural Language Requirements based on States and Modes
PDF Cite DOI