Analyzing G-20's Key Autonomus Systems and their Intermeshing using As-Analyzer. - Sebastian Feld; Norbert Pohlmann; Michael Sparenberg; Bastian C. Wichmann (ISSE, 2012)