@misc{indiciaeaa70579170e3,
  title = {An Entry Point for Formal Methods: Specification and Analysis of Event Logs},
  author = {Howard Barringer and Alex Groce and Klaus Havelund and Margaret Smith},
  year = {2010},
  doi = {10.4204/eptcs.20.2},
  url = {https://arxiv.org/abs/1003.1682},
  note = {Source identifier: 1003.1682}
}