Bartocci, E., Cleaveland, R., Grosu, R., & Sokolsky, O. (2019). From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday.
