Towards certifiable adaptive reservations for hypervisor-based virtualization | IEEE Conference Publication | IEEE Xplore