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), pp. 203–208. Available at: https://eipublications.com/index.php/eileijmrms/article/view/496 (Accessed: 26 April 2026).