An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms | IEEE Conference Publication | IEEE Xplore