Assessment of redundant systems with imperfect coverage by means of binary decision diagrams.