CAD Support for Security and Robustness Analysis of Safety-critical Automotive Software. - Ipsita Koley; Soumyajit Dey; Debdeep Mukhopadhyay; Sachin Kumar Singh; Lavanya Lokesh; Shantaram Vishwanath Ghotgalkar (ACM Trans. Cyber Phys. Syst., 2023)