Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations. - Harvey E. Rhody; Vittorio Manoni; James R. Hoelscher (SAFECOMP, 1993)