@misc{indiciae6a14c5ed8abc,
  title = {Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems},
  author = {Adel Dokhanchi and Bardh Hoxha and Georgios Fainekos},
  year = {2018},
  url = {https://arxiv.org/abs/1607.02549},
  note = {Source identifier: 1607.02549}
}