Projected Control Graph for Accurate and Efficient Analysis of Safety and Security Vulnerabilities | IEEE Conference Publication | IEEE Xplore