A procedure-based dynamic software update | IEEE Conference Publication | IEEE Xplore