Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification - Gamatie, Abdoulaye (Springer-Verlag New York, 2010)