A BDD - based Algorithm for Computation of Exact Fault Detection Probabilities. - Rolf Krieger; Bernd Becker 001; R. Sinkovic (FTCS, 1993)