sur 16
Formal Modeling and Verification of Cyber-Physical Systems — Ulrich Kühne, Rolf Drechsler