Introduction Assumptions and Goals Architecture Design Details Analysis Implementation and Evaluation Discussion 2 A Presentation at Advanced Defence.