Model-based engineering with AADL : an introduction to the SAE Architecture Analysis & Design Language - Feiler, Peter H. (SEI series in software engineering., 2013)