1Alves-Foss J,Oman P W,Taylor C. The MILS Architecture for High-assurance Embedded System[J].International Journal of Embedded Systems,2006,(3/4):239-247.
2Gernot Heiser. PhD.Virtualization for Embedded Systems[J].
3Sergio Ruocco. Real-Time Programming and L4 Microkernels[J].