Architecture Analysis and Design Language (AADL) is a standardised modelling language widely used to describe and analyse the architectures of embedded real-time systems. AADL provides a formal ...