Yingying Liu, Kai Cai, Zhiwu Li: On scalable supervisory control of multi-agent discrete-event systems. Autom. 108 (2019)