Book

From Reactive Systems to Cyber-Physical Systems

by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky