From Reactive Systems to Cyber-Physical Systems - Bartocci; Cleaveland, Rance; Grosu, Radu; Sokolsky, Oleg (Springer International Publishing, 2019)