On the implementation and correctness of information system upgrades | IEEE Conference Publication | IEEE Xplore