A virtualized separation kernel for mixed criticality systems,” (2014)

by Y Li, R West, E Missimer
Venue:in Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE),