TY  - RPRT
TI  - AutoReq: expressing and verifying requirements for control systems
AU  - Alexandr Naumchev
AU  - Bertrand Meyer
AU  - Manuel Mazzara
AU  - Florian Galinier
AU  - Jean-Michel Bruel
AU  - Sophie Ebersold
PY  - 2019
UR  - https://arxiv.org/abs/1710.02801
ID  - 1710.02801
ER  -