System modeling and risk analysis using AADL for critical infrastructure security | IEEE Conference Publication | IEEE Xplore