AuthorRance Cleaveland Year of Publication2019 Book TitleFrom Reactive Systems to Cyber-Physical Systems Number of Pages1–6 PublisherSpringer, Cham Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS