1
Synthesis of Embedded Software [E-Book] : Frameworks and Methodologies for Correctness by Construction /