Supervisor for real-time nondeterministic discrete event systems under bounded time constraints