You are about to access our book library "From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Lecture Notes in Computer Science Book 11500) full version" .