YASUKA TSUNODA. Formal Verification and Safety-Synergy in Multicore Mixed-Criticality Systems: A Comprehensive Framework for Robust Automotive Zonal Control and Virtualized Isolation. European International Journal of Multidisciplinary Research and Management Studies, [S. l.], v. 5, n. 10, p. 203–208, 2025. Disponível em: https://eipublication.com/index.php/eijmrms/article/view/4248. Acesso em: 4 aug. 2026.