Standard Architecture Analysis & Design Language (AADL) Annex F: AADL Annex for the FACE™ Technical Standard Edition 3.0 2019-07-10 AS5506/4