Reading 2

1. Chapter 6 of Ptolemeaus, System Design, Modeling, and Simulation, Finite State Machines
2. Chapter 5 and Section 6.2 of Lee & Seshia, Introduction to Embedded Systems Links to an external site.

Recommended background on clock calculus:

1. Colaco and Pouzet, Clocks as First Class Abstract Types Download Clocks as First Class Abstract Types
   , EMSOFT, 2003
2. Berry and Gonthier, Hybrid Dynamical Systems Theory and the SIGNAL Language Download Hybrid Dynamical Systems Theory and the SIGNAL Language
   , IEEE Tr. on Automatic Control, 1990