@booklet {,
	title = {From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday},
	year = {2019},
	author = {Bartocci, Ezio and Cleaveland, Rance and Grosu, Radu and Sokolsky, Oleg}
}
