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 (Herausgeber); International Summer School on Methods and Tools for the Design of Digital Systems (1. : 2015 : Bremen) (Springer Vieweg, 2015)