Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors. - PARRA, PABLO; DA SILVA, ANTONIO; LOSA, BORJA; GARCÍA, J. IGNACIO; POLO, ÓSCAR R.; MARTÍNEZ, AGUSTÍN; SÁNCHEZ, SEBASTIÁN (ACM Transactions on Embedded Computing Systems, 2023)