DOGMA: a diversion management decision-support system in airline operations | IEEE Conference Publication | IEEE Xplore