Context

Context of Verification of reactive systems : formal methods and algorithms, Klaus Schneider
Processing Feedback ...