Tutorial Introduction To Aadl And Osate