Yasuka Tsunoda, “Formal Verification and Safety-Synergy in Multicore Mixed-Criticality Systems: A Comprehensive Framework for Robust Automotive Zonal Control and Virtualized Isolation”, eijmrms, vol. 5, no. 10, pp. 203–208, Oct. 2025.