Most of the lecture is based on chapter 2 and 4 of the book: Principle of CPS, Rajeev Alur
Streamed: Discrete Modeling
