TY - BOOK AU - Sandeep Kumar Shukla, Jean-Pierre Talpin TI - Synthesis of Embedded Software SN - 9781441964007 PY - 2010/// PB - Springer eBooks UR - http://link.springer.com/openurl?genre=book&isbn=978-1-4419-6400-7 ER -