Formal Analysis of the Remote Agent Before and After Flight [pdf]ti.arc.nasa.gov2 pointstosh10 years ago