From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday Bartocci Ezio Heftet / 2019 / Engelsk
