Gregory L. Ries Gwan S. Choi Ravishankar K. Iyer Device-Level Transient Fault Modeling. 86-94 1994 FTCS db/conf/ftcs/ftcs94.html#RiesCI94