@misc{indiciaebe0ced020680,
  title = {Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY},
  author = {Nadeem Akhtar},
  year = {2015},
  url = {https://arxiv.org/abs/1501.05120},
  note = {Source identifier: 1501.05120}
}