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