publication venue for Model-Based Verification of Security and Non-Functional Behavior using AADL. 1-1. 2009
