The Cyber-Physical Systems combine cybernetic (computation and/or communication) and physical properties (motion or other physical processes). The application of such systems covers automotive, flight control and defense systems, critical infrastructure control (power grids, water resources, communication systems), energy management and storage, transportation control and safety, communication systems, robotics and distributed robotics (telemedicine), medical technologies, systems for assisted living, consumer electronics, toys and other smart devices. These devices interact in physical world through computer controlled algorithms. Design of the CPS control algorithms is a challenging discipline considering their tight coupling to physical systems behavior. An important design aspect to be considered is the correctness of the control algorithms itself, as the execution of critical control tasks depends on their correct function, as is the case in aircraft and/or car collision avoidance in automatic or autonomous modes, respectively. The aim of the course is to find an answer to an important social question, how to responsibly design critical Cyber-Physical Systems on whose flawless function depend human lives.