@misc{indiciae1af73383cf1a,
  title = {LTL Store: Repository of LTL formulae from literature and case studies},
  author = {Jan Křetínský and Tobias Meggendorfer and Salomon Sickert},
  year = {2018},
  url = {https://arxiv.org/abs/1807.03296},
  note = {Source identifier: 1807.03296}
}