embedded control applications software program synthesis 7627603