//-->
A network traffic flow model for motorway and urban highways
Yang, Chao, (2014)
A fault tree analysis strategy using binary decision diagrams
Reay, Karen A., (2002)
Quantitative fault tree analysis using Binary Decision Diagrams
Sinnamon, Roselyn M., (1996)