Modeling and validation of aircraft mathematical models for the development of an innovative Flight Management System