@misc{indiciaeb365adfef992,
  title = {Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification},
  author = {Atif Mashkoor and Michael Leuschel and Alexander Egyed},
  year = {2021},
  url = {https://arxiv.org/abs/2102.06037},
  note = {Source identifier: 2102.06037}
}