@ARTICLE{badban-2009-10,
  author = {Bahareh Badban and Stefan Leue and Jan-Georg Smaus},
  title = {Automated Predicate Abstraction for Real-Time Models},
  journal = {EPTCS},
  volume = {10},
  pages = {36},
  url = {doi:10.4204/EPTCS.10.3},
  year = {2009}
}