doi:10.1002/macp.1985.021860413fault tree analysisfault diagnosisfault searchingBDDmethod of searching "1This article has no associated . ( fix it )Boutevin, BernardPiétrasanta, Yveselectronic design engineering