[PPT] - SafeComp invited talk on 25 Sep 2013, substantially modified from PowerPoint Presentation