From Reactive Systems to Cyber-Physical SystemsEzio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky · First published 2019Open the Tome