AADL along with its Behavior Annex is an architecture and behavior description language for safety-critical domains. e. g. avionics. https://www.parisnaturalfoodes.shop/product-category/bcaa-xdm-spiked-powder-tropical-punch/