@misc{indiciae5f655a4e8e65,
  title = {Model Checking AORTA: Verification of Organization-Aware Agents},
  author = {Andreas Schmidt Jensen},
  year = {2015},
  url = {https://arxiv.org/abs/1503.05317},
  note = {Source identifier: 1503.05317}
}