State transfer for clear and efficient runtime updates | IEEE Conference Publication | IEEE Xplore