@misc{indiciae1f44477a3254,
  title = {Bounded Model Checking of Temporal Formulas with Alloy},
  author = {Alcino Cunha},
  year = {2015},
  doi = {10.1007/978-3-662-43652-3\_29},
  url = {https://arxiv.org/abs/1207.2746},
  note = {Source identifier: 1207.2746}
}