Daniel Larsson Reiner Hähnle Symbolic Fault Injection. 2007 VERIFY http://ceur-ws.org/Vol-259/paper09.pdf conf/cade/2007verify db/conf/cade/verify2007.html#LarssonH07