TY - RPRT TI - Software reliability models for fault-tolerant avionics computers and related topics AU - Miller, Douglas R. PY - 1987 UR - https://ntrs.nasa.gov/citations/19880002000 ID - 19880002000 ER -