O. Zinchenko, “Integrated Modeling in the Quality Assessment of Flight Management Software Systems”, IJCAI, vol. 49, no. 31, Dec. 2025.