Augmented CPU reservations: towards predictable execution on general-purpose operating systems | IEEE Conference Publication | IEEE Xplore