Vitalii Hrishnenko, Artem Riabko, Yuliya Averyanova: Automatic control for ensuring safety and compliance in air navigation systems: data processing algorithm of certification and regulatory standards. ADP 2024: 201-215