Topological analysis of SSBDDs with applications in fault diagnosisUbar, Raimund-JohannesProceedings of 10th International Workshop on Boolean Problems : Freiberg, Germany, September 19-21, 20122012 / p. 1-16