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