A semi-automated approach for requirement-based early validation of flight control platforms
An aeronautical data communication demand model for the North Atlantic oceanic airspace
An explanatory approach to modeling the fleet assignment in the global air transportation system