Automatic control systems, embedded systems, cyber-physical systems, real-time systems, reactive systems: All of these refer to computer systems that interact continuously with their environment, ...