TY - RPRT TI - Acceleration techniques for dependability simulation AU - Barnette, James David PY - 1995 UR - https://ntrs.nasa.gov/citations/19960007337 ID - 19960007337 ER -