SimAir: a stochastic model of airline operations | IEEE Conference Publication | IEEE Xplore