%0 Book Section
%B From Reactive Systems to Cyber-Physical Systems
%D 2019
%G eng
%I Springer, Cham
%P 1–6
%T Scott Smolka and Me