@article{BasinCKZ-IPL14,
  author = {David Basin and Carlos {Cotrini Jimenez} and Felix Klaedtke and Eugen Zalinescu},
  title = {Deciding safety and liveness in {TPTL}},
  journal = {Information Processing Letters},
  year = 2014,
  pages = {680--688},
  volume = {114},
  number = {12},
  doi = {10.1016/j.ipl.2014.06.005},
}