AADL along with its Behavior Annex is an architecture and behavior description language for safety-critical domains. e. g. avionics. https://www.bekindtopets.com/limited-offer-DC-Comics-Batman-Silhouette-Logo-Vintage-Pattern-Galaxy-S23-Waterproof-Case-p116036-special-find/