@misc{indiciaeed26b9552d08,
  title = {Computation Tree Logic with Deadlock Detection},
  author = {Rob van Glabbeek and Bas Luttik and Nikola Trcka},
  year = {2009},
  doi = {10.2168/lmcs-5(4:5)2009},
  url = {https://arxiv.org/abs/0912.2109},
  note = {Source identifier: 0912.2109}
}