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