Shaolong Shu, Feng Lin: Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays. IEEE Trans. Autom. Control. 60(8): 2183-2188 (2015)