Formal Analysis of the Remote Agent Before and After Flight (2000) [pdf]