Ezio Bartocci From Reactive Systems to Cyber-Physical Systems - Springer Nature 2019 - Lecture Notes in Computer Science . ISBN: 9783030315146 Subjects--Topical Terms: Computer Science