Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 - Drechsler, Rolf; Kühne, Ulrich (Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2015)