From Reactive Systems to Cyber-Physical Systems - Bartocci (Springer International Publishing, 2019)