Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction - Shukla, Sandeep K.; Talpin, Jean-Pierre.; SpringerLink (Online service) (Boston, MA : Springer US, 2010)
Keywords: Engineering; Computer aided design; Systems engineering; Engineering; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design