Stress Testing Control Loops in Cyber-Physical SystemsRCR Report | ACM Transactions on Software Engineering and Methodology (TOSEM) | DeepDyve