selected publications conference paper Structural analysis of explicit fault-tolerant programs. . 2004