Application of the Architectural Analysis and Design Language (AADL) for Quantitative System Reliability and Availability Modeling