A Formal Framework for Patch Management. - Guillermo A. Francia III; Kihyun Kim; Byungoh Ahn; Sen Xin Zhou (Int. J. Interdiscip. Telecommun. Netw., 2013)