Lightweight, Predictable Hypervisor for ARM-Based Embedded Systems | IEEE Conference Publication | IEEE Xplore