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, vol. 5, no. 10, Oct. 2025, pp. 203-8, https://eipublication.com/index.php/eijmrms/article/view/4248.