An Evaluation of Microkernel-Based Virtualization for Embedded Real-Time Systems | IEEE Conference Publication | IEEE Xplore