Mixed-Criticality Computing with the Quest RTOS and Quest-V Partitioning Hypervisor. - Richard West; Shriram Raja; Zhiyuan Ruan; Rafiuddin Syed (EMSOFT, 2025)