Synthesis of Embedded Software - Shukla, Sandeep Kumar; Shukla, Sandeep K.; Talpin, Jean-Pierre (Springer US, 2010)