TY  - RPRT
TI  - Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
AU  - Ricardo Caldas
AU  - Razan Ghzouli
AU  - Alessandro V. Papadopoulos
AU  - Patrizio Pelliccione
AU  - Danny Weyns
AU  - Thorsten Berger
PY  - 2022
DO  - 10.1109/acsos-c52956.2021.00067
UR  - https://arxiv.org/abs/2108.08139
ID  - 2108.08139
ER  -