Exact Task Completion Time Aware Real-Time Scheduling Based on Supervisory Control Theory of Timed DES | IEEE Conference Publication | IEEE Xplore