From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday - Bartocci, Ezio; Cleaveland, Rance; Grosu, Radu; Sokolsky, Oleg (Springer, 2019)