Efficiently Recovering Stateful System Components of Multi-server Microkernels | IEEE Conference Publication | IEEE Xplore