Bart Jacobs, Frank Piessens: Failboxes: Provably Safe Exception Handling. ECOOP 2009: 470-494