Hardware-assisted virtualization extensions for LEON processors in mixed-criticality systems - Losa, B.; Parra, P.; Da Silva, A.; Polo, Ó.R.; Tejedor, J.I.G.; Martínez, A.; Sánchez, S.; Guzmán, D. (Microprocessors and Microsystems, 2025)