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