1. Wang Yuan, Hu Minghua and Xu Donghui, Study on the characteristics of airport surface operation delay, Journal of Wuhan University of Technology, vol. 43(Jan 2017), no. 1, 448-453.
2. Zhang Zhaoning and Wang Jinghua, State space model of large area flight delay propagation in airport, Science and technology and engineering, vol. 18(Feb 2018), no. 31, 241-245.
3. Haiyan C, Jiandong W and Tao X U, A Flight Delay State-Space Model Based on Delay Propagation, Information and Control, vol. 21(Apr 2012), no. 2, 245-277.
4. Liu Yujie, Prediction of flight delay and impact based on Bayesian network, Ph. D dissertation. Tianjin University, Tianjin, 2009
5. Dershowitz N and Manna Z, Inference Rules for Program Annotation, Transactions on Software Engineering, vol. 7(2006), no. 2, 207-222.