Efficient Reliability Assessment of Redundant Systems Subject to Imperfect Fault Coverage Using Binary Decision Diagrams.

Albert Myers Antoine Rauzy Efficient Reliability Assessment of Redundant Systems Subject to Imperfect Fault Coverage Using Binary Decision Diagrams. 336-348 2008 57 IEEE Transactions on Reliability 2 http://dx.doi.org/10.1109/TR.2008.916884 db/journals/tr/tr57.html#MyersR08