David P. Gluch

• Model-Based Engineering with AADL