Peter Amey Roderick Chapman Industrial strength exception freedom. 1-9 2002 conf/sigada/2002 SIGAda http://doi.acm.org/10.1145/589451.589452 db/conf/sigada/sigada2002.html#AmeyC02