Modeling and Verification of Cyber Physical Systems
Efficient Reachability Analysis of Hierarchic Reactive Modules R. Alur, R.Grosu, M.McDougall University of Pennsylvania alur,grosu,mmcdougall.
Symbolic Model Checking of Software
Model Checking Large Software Specifications