Real-analysis, alap-guided synthesis of real-time embedded systems