@misc{indiciae006e072b09fa,
  title = {AutoReq: expressing and verifying requirements for control systems},
  author = {Alexandr Naumchev and Bertrand Meyer and Manuel Mazzara and Florian Galinier and Jean-Michel Bruel and Sophie Ebersold},
  year = {2019},
  url = {https://arxiv.org/abs/1710.02801},
  note = {Source identifier: 1710.02801}
}