3 works on record
Fault injection techniques and tools for embedded systems reliability evaluation
Architettura dei calcolatori
Correct Hardware Design Methodologies