Sandeep Kumar Shukla, Jean-Pierre Talpin Synthesis of Embedded Software - Springer eBooks 2010 ISBN: 9781441964007