Integrated Modeling in the Quality Assessment of Flight Management Software Systems. IJCAI. 2025;49(31). doi:10.31449/inf.v49i31.11012