Safe and automated state transfer for secure and reliable live update | IEEE Conference Publication | IEEE Xplore