TY - RPRT TI - Coverage modeling for dependability analysis of fault-tolerant systems AU - Dugan, Joanne Bechta AU - Trivedi, Kishor S. PY - 1989 UR - https://ntrs.nasa.gov/citations/19890055426 ID - 19890055426 ER -