Markov chain-based flight operations risk analysis | IEEE Conference Publication | IEEE Xplore