Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction - Shukla, Sandeep K (Springer Science+Business Media, LLC, 2010)