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