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