Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction - Shukla, Sandeep Kumar.; Talpin, Jean-Pierre. (Springer US : Imprint: Springer, 2010)