The Wayback Machine - https://web.archive.org/web/20140407175809/http://www.win.tue.nl/~hmei/SoftwareUpdate/A%20formal%20framework%20for%20on-line%20software%20version%20change.pdf