AADL along with its Behavior Annex is an architecture and behavior description language for safety-critical domains. e. g. avionics. https://www.bekindtopets.com/discount-Ancient-Roman-Gladiator-Murmillo-Cassis-Crista-Helmet-With-Medieval-Style-Skullcap-Nasal-Helmets-With-Nose-Guard-3-Re-big-savings/