Cyber-physical systems consist of computers that sense and control a rapidly changing physical environment. Examples of such systems include autonomous transportation (self-driving cars), traffic ...