Cyber-physical systems, such as autonomous vehicles, robots, and smart buildings, are engineering systems that rely upon the close interaction and seamless integration of cyber subsystems (e.g., ...