Marcos Vinícius Silva Alves Lilian K. Carvalho João Carlos Basilio Supervisory control of timed networked discrete event systems. 4859-4865 2017 CDC https://doi.org/10.1109/CDC.2017.8264377 conf/cdc/2017 db/conf/cdc/cdc2017.html#AlvesCB17