Validating Simulations of Oceanic Flights Using Data Link Communication Messages | IEEE Conference Publication | IEEE Xplore