Franco Fummi Cristina Marconcini Graziano Pravadelli Logic-level mapping of high-level faults. 467-490 2005 38 Integration 3 http://dx.doi.org/10.1016/j.vlsi.2004.07.007 db/journals/integration/integration38.html#FummiMP05