Jan Komenda Jan H. van Schuppen Control of Modular and Distributed Discrete-Event Systems. 44-63 2005 conf/fmco/2005 FMCO http://dx.doi.org/10.1007/11804192_3 db/conf/fmco/fmco2005.html#KomendaS05