Cyber-physical systems, such as autonomous vehicles, robots, and smart buildings, are engineering systems that rely upon the ... to bring immense economic and societal benefits, however the design and ...