Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis