CBA - Código Brasileiro de Aeronáutica
- No caso de falência, insolvência, liquidação judicial ou extrajudicial do adquirente ou importador, sem o pagamento do débito para com o vendedor, e de ter o Tesouro Nacional ou seus agentes financeiros de pagá-lo, a União terá o direito de receber a quantia despendida com as respectivas despesas e consectários legais, deduzido o valor das aeronaves, peças e equipamentos, objeto da garantia, procedendo-se de conformidade com o disposto em relação à hipoteca legal (CBA, art. 144 e CBA, art. 145).