Ordering Upgrade Changes for Highly Available Component Based Systems | IEEE Conference Publication | IEEE Xplore