TY - RPRT TI - Computer aided reliability, availability, and safety modeling for fault-tolerant computer systems with commentary on the HARP program AU - Shooman, Martin L. PY - 1991 UR - https://ntrs.nasa.gov/citations/19930010792 ID - 19930010792 ER -