On-line modification of real time systems | IEEE Conference Publication | IEEE Xplore