1. Chapter 4: State machines, 6.01SC Introduction to Electrical Engineering and Computer Science Spring 2011, 6.01—Spring 2011—April 25, (2011)
2. d’Ascq V (2007) Safer European level crossing appraisal and technology. In: First Workshop “Level crossing appraisal”, May 16th 2007
3. Furia CA (2010) Modeling time in computing: a taxonomy and a comparative survey. ACM Comput Surv 42(2), Article 6
4. Gajski DD (2009) Embedded system design, modeling, synthesis and verification. Springer
5. Gajski DD, Vahid F (2009) Specification and design of embedded systems. Prentice Hall