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