C Mandrioli, M Nyberg Carlsson… - ACM Transactions on …, 2023 - dl.acm.org
Control systems are ubiquitous and often at the core of Cyber-Physical Systems, like cars
and aeroplanes. They are implemented as embedded software that interacts in closed loop …