TY - RPRT TI - Study of space shuttle orbiter system management computer function. Volume 2: Automated performance verification concepts PY - 1975 UR - https://ntrs.nasa.gov/citations/19750013275 ID - 19750013275 ER -