Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification - Gamatié, Abdoulaye; SpringerLink (Online service) (New York, NY : Springer New York : Imprint: Springer, 2010)
Real-time and synchronous programming -- Generalities on Real-Time Programming -- Synchronous Programming: Overview -- Elementary concepts and notations of SIGNAL -- Basics: Signals and Relations -- Programming Units: Processes -- Extended Constructs -- Design in P: First Steps -- Formal properties of SIGNAL programs -- Formal Semantics -- Formal Model for Program Analysis -- Compilation of Programs -- Advanced design in SIGNAL -- Advanced Design Concepts -- GALS System Design -- Design Patterns -- A Synchronization Example Design with P.
Keywords: Electronic circuits; Computer-aided engineering; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design