Design and Synthesis of Embedded Systems virk [email protected] Kashif Virk Office 322.222 Informatics and Mathematical Modelling.