@misc{indiciaecf0e4ddf7283,
  title = {Automated Predicate Abstraction for Real-Time Models},
  author = {Bahareh Badban and Stefan Leue and Jan-Georg Smaus},
  year = {2009},
  doi = {10.4204/eptcs.10.3},
  url = {https://arxiv.org/abs/0911.3277},
  note = {Source identifier: 0911.3277}
}