Lightweight, Predictable Hypervisor for ARM-Based Embedded Systems. - Wonseok Ko; Jeongwoo Yoo; Ingu Kang; Jinwoo Jun; Sung-Soo Lim (RTCSA, 2016)