Flavio Lerda Willem Visser Addressing Dynamic Issues of Program Model Checking. 80-102 2001 conf/spin/2001 SPIN http://link.springer.de/link/service/series/0558/bibs/2057/20570080.htm db/conf/spin/spin2001.html#LerdaV01