Certification in the Avionics Domain

<TBD>