STL: a tool for on-line software update and rejuvenation | IEEE Conference Publication | IEEE Xplore