Renyuan Zhang Kai Cai 0002 Yongmei Gan Zhaoan Wang Walter Murray Wonham Supervision localization of timed discrete-event systems. 2786-2794 2013 49 Autom. 9 https://doi.org/10.1016/j.automatica.2013.05.015 db/journals/automatica/automatica49.html#ZhangCGWW13