Rong Su 0001 Jan H. van Schuppen Jacobus E. Rooda Synthesizing nonblocking distributed supervisors based on automaton abstraction. 883-888 2008 CDC https://doi.org/10.1109/CDC.2008.4738688 conf/cdc/2008 db/conf/cdc/cdc2008.html#SuSR08