Formal Modeling and Verification of Cyber-Physical Systems - 1st International Summer School on Methods and Tools for the Design of Digital Systems