Design of a persistent operating system kernel | IEEE Conference Publication | IEEE Xplore