Yasuka Tsunoda 2025. Formal Verification and Safety-Synergy in Multicore Mixed-Criticality Systems: A Comprehensive Framework for Robust Automotive Zonal Control and Virtualized Isolation. European Index Library of European International Journal of Multidisciplinary Research and Management Studies. 5, 10 (Oct. 2025), 203–208.