Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language (SEI Series in Software Engineering)