Zinchenko, O.; Lashchevska, N.; Storchak, K.; Shantyr, A.; Tovstochub, I.; Cherevyk, O.; Balvak, A. Integrated Modeling in the Quality Assessment of Flight Management Software Systems. IJCAI 2025, 49.