@misc{indiciae791a615ca456, title = {Stress Testing Control Loops in Cyber-Physical Systems}, author = {Claudio Mandrioli and Seung Yeob Shin and Martina Maggio and Domenico Bianculli and Lionel Briand}, year = {2023}, doi = {10.1145/3624742}, url = {https://arxiv.org/abs/2302.13913}, note = {Source identifier: 2302.13913} }