Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification - Gamatié, Abdoulaye. (Springer New York : Imprint: Springer, 2010)