@article{vanGlabbeek_LT_09,
    author           = {van Glabbeek, Robert and Luttik, Bas and Trčka, Nikola},
    issn             = {1860-5974},
    journal          = {Logical Methods in Computer Science},
    keywords         = {concurrency, temporal logic, kripke structures, labelled transition systems, stuttering equivalence,
                        branching bisimulation, divergence, deadlock.},
    month            = dec,
    number           = {4:5},
    pages            = {1--24},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/155.pdf},
    title            = {Computation Tree Logic with Deadlock Detection},
    volume           = {5},
    year             = {2009}
  }