Formal Analysis of the Remote Agent Before and After Flight (2000) [pdf]ntrs.nasa.gov3 pointstosh2 months ago