Links to courses using this book

• Verification of CPS Spring 2025, at UIUC; offered by Huan Zhang
• Verification of Cyber-Physical Systems 2021, at University of Konstanz; offered by Stefan Leue
• Verifying Embedded and Cyber-Physical Systems Fall 21, at University of Illinois, Urbana-Champaign, by Sayan Mitra
• Formal Modelling and Analysis of Cyber-Physical Systems 2021-22, at the Indian Institute of Technology, Guwahati; offered by Purandar Bhaduri and S. Ramesh
• Satish Gopalakrishnan’s course (https://ece.ubc.ca/sathish-gopalakrishnan/)

Email with a link to your course for it to be added here.