@misc{indiciae99a2f54821ba,
  title = {Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns},
  author = {Ricardo Caldas and Razan Ghzouli and Alessandro V. Papadopoulos and Patrizio Pelliccione and Danny Weyns and Thorsten Berger},
  year = {2022},
  doi = {10.1109/acsos-c52956.2021.00067},
  url = {https://arxiv.org/abs/2108.08139},
  note = {Source identifier: 2108.08139}
}