Yasuka Tsunoda. Formal Verification and Safety-Synergy in Multicore Mixed-Criticality Systems: A Comprehensive Framework for Robust Automotive Zonal Control and Virtualized Isolation. eijmrms 2025, 5, 203-208.