Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems