Layali Rashid, Karthik Pattabiraman, Sathish Gopalakrishnan: Modeling the Propagation of Intermittent Hardware Faults in Programs. PRDC 2010: 19-26