Yasuka Tsunoda. “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, no. 10 (October 31, 2025): 203–208. Accessed April 26, 2026. https://eipublications.com/index.php/eileijmrms/article/view/496.