Non-blocking supervisory control under bounded time constraints based on non-deterministic timed transition models. - Park, S.-J.; Cho, K.-H.; Lim, J.-T. (IEE Proceedings -- Control Theory & Applications, 2006)