Sandeep K. Shukla, Jean-Pierre Talpin Synthesis of Embedded Software - New York Springer New York 2010 ISBN: 978-1-4419-6400-7 Subjects--Topical Terms: Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design