Operating system upgrade in high availability environment | IEEE Conference Publication | IEEE Xplore