Formal Modeling and Verification of Cyber-Physical Systems - Drechsler, Rolf (Springer Fachmedien Wiesbaden, 2015)