A case study of dependable software upgrade with distributed components | IEEE Conference Publication | IEEE Xplore