AADL Analysis in SCADE Architect: Using Adventium Labs AADL Analysis Tools