A BBD based algorithm for computation of exact fault detection probabilities - Krieger, Rolf; Becker, Bernd; Sinković, Robert (Interner Bericht / Fachbereich Informatik, Universität Frankfurt, 1993)