Many modern industrial systems fall in the realm of Cyber-Physical Systems (CPS) because of the tight interaction between computation, communication and control elements (the cyber part), and physical processes such as motion, heating/cooling, vibration, wear and tear (the physical part) within these systems. Traditional design methods involve multiple, often isolated, design phases involving diff ...