Evaluation of the overheads and latencies of a virtualized RTOS | IEEE Conference Publication | IEEE Xplore