“…The SEI series in software engineering Model-based engineering with AADL…”