From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday - Bartocci, Ezio; Bartocci, Ezio; Cleaveland, Rance; Cleaveland, Rance; Grosu, Radu; Grosu, Radu; Sokolsky, Oleg; Sokolsky, Oleg (Springer International Publishing : Imprint: Springer, 2019)