A hybrid framework for design and analysis of fault-tolerant architectures. - Debayan Bhaduri; Sandeep K. Shukla; Deji Coker; Valerie E. Taylor; Paul S. Graham; Maya B. Gokhale (DATE, 2006)