Operating system upgrade in high availability environment. - Ekansh Katihar; Ferhat Khendek; Maria Toeroe (SoftCOM, 2013)