A Model-Based Approach for Aviation Cyber Security Risk Assessment | IEEE Conference Publication | IEEE Xplore