Model-based Engineering With Aadl by David P. Gluch & Peter H. Feiler