@misc{indiciae0fbd350ef8bc,
  title = {Decomposition of transition systems into sets of synchronizing state machines},
  author = {Viktor Teren and Jordi Cortadella and Tiziano Villa},
  year = {2022},
  url = {https://arxiv.org/abs/2106.13852},
  note = {Source identifier: 2106.13852}
}