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