1. Zheng Y, Taylor R. A classification and rationalization of model-based software development. Software & Systems Modeling, 2013, 12(4): 669–678
2. Wu W. Architectural reasoning for safety-critical software applications. Dissertation: Department of Computer Science, University of York, 2007
3. Almorsy M, Grundy J, Ibrahim A S. Automated software architecture security risk analysis using formalized signatures. In: Proceedings of the 2013 International Conference on Software Engineering. 2013, 662–671
4. Feiler P H, Gluch D P, Hudak J J. The architecture analysis & design language (AADL): An introduction. DTIC Document, 2006
5. Johnsen A, Lundqvist K, Pettersson P, Jaradat O. Automated verification of AADL-specifications using UPPAAL. In: Proceedings of the 14th IEEE International Symposium on High-Assurance Systems Engineering (HASE). 2012, 130–138