Control Performance Analysis of Automotive Cyber-physical Systems: A Study on Efficient Formal Verification. - Vahid Panahi; Mehdi Kargahi; Fathiyeh Faghih (ACM Trans. Cyber Phys. Syst., 2024)