Dieter Hutter Management of Change in Structured Verification. 23- 2000 ASE http://computer.org/proceedings/ase/0710/07100023abs.htm db/conf/kbse/ase2000.html#Hutter00