@misc{indiciae57f0600fb698,
  title = {Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors},
  author = {Martijn Goorden and Joanna van de Mortel-Fronczak and Michel Reniers and Martin Fabian and Wan Fokkink and Jacobus Rooda},
  year = {2021},
  doi = {10.1016/j.conengprac.2021.104830},
  url = {https://arxiv.org/abs/2007.05795},
  note = {Source identifier: 2007.05795}
}