Robert J. Hall Upgrading Legacy Instances of Reactive Systems. 63-72 2000 ASE http://computer.org/proceedings/ase/0710/07100063abs.htm db/conf/kbse/ase2000.html#Hall00