selected publications academic article Model-Based Verification of Security and Non-Functional Behavior using AADL. IEEE Security & Privacy. 1-1. 2009