1. AEEC, (2006). ARINC 653P1–3 Avionics Application Software Standard Interface. Part 1, Required Services. Airlines Electronic Engineering Committee.
2. IXIV VMM: A VMM on 2–Level Ring Architecture;Aoyagi,2008
3. Beltrame, G., Fossati, L., Zulianello, M., Braga, P., Henriques, L. (2010). XLUNA: A Real-time, Dependable Kernel for Embedded Systems. IP-SOC Conference.
4. The origin of the VM/370 time-sharing system;Creasy;IBM Journal of Research & Development,1981
5. XTRATUM: an open source hypervisor for TSP embedded systems in aerospace;Crespo,2009