System modeling and risk analysis using AADL for critical infrastructure security. - Serhat Gezgin; Emel Uras; Emre Eroglu; Levent Altay; Serif Bahtiyar; Gürkan Gür (NTMS, 2015)