@misc{indiciae8eb5ce23d8c2,
  title = {A Framework to Handle Linear Temporal Properties in (ω-)Regular Model Checking},
  author = {Ahmed Bouajjani and Axel Legay and Pierre Wolper},
  year = {2009},
  url = {https://arxiv.org/abs/0901.4080},
  note = {Source identifier: 0901.4080}
}