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