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