1. Analysis of Reliability Block Diagrams by Boolean Techniques
2. Reliability Evaluation of Engineering Systems
3. Efficient generation of the binary reflected gray code and its applications
4. GRANAROV , A. , GERLA , M. , and KLEINROCK , L. , 1980 , A new algorithm for symbolic reliability analysis of communication networks . I.E.E.E. Pacific Telecommunications Conference , January 1980 , pp. ( 1A – 11 )–( 1A–19 ).
5. HARIRI , S. , and RAGHAVENDRA , C. S. , SYREL: a symbolic reliability algorithm based on path and cutset methods . INFOCOM 86 , April 1986 , pp. 293 – 302 .