Dynamic software updating for cyber-physical systems | IEEE Conference Publication | IEEE Xplore