Cyber-physical systems (CPS) are physical systems equipped with embedded controllers and communication capabilities. CPS are becoming pervasive, (e.g. safety-critical systems, autonomous robots, smart
