6 ms·Formal Analysis of the Remote Agent Before and After Flight (2000) [pdf]3 points by tosh 6mo ago