Testing Abstractions for Cyber-Physical Control Systems. - Claudio Mandrioli; Max Nyberg Carlsson; Martina Maggio (ACM Trans. Softw. Eng. Methodol., 2024)