Return to Article Details A Formal Analysis Framework for AADL Download Download PDF