Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates | IEEE Conference Publication | IEEE Xplore