1. Binary decision diagram;Akers;IEEE Transaction on Computer,1978
2. Sinnamon RM Andrews JD Fault tree analysis and binary decision diagrams 1996 215 222
3. Andrews JD Event tree analysis using binary decision diagrams 2006 1 12
4. New approaches to evaluating fault trees;Sinnamon;Quality and Reliability Engineering International,1997
5. Finding the optimal variable ordering for binary decision diagrams;Friedman;IEEE Transactions on Computers,1990