Automatic Synthesis of Robust Embedded Control Software