AADL along with its Behavior Annex is an architecture and behavior description language for safety-critical domains. e. g. avionics. https://www.jmannino.com/hot-offer-NHL-Edmonton-Oilers-Jersey-PS5-Digital-Edition-Console-Skin-p125923-big-sale/