F. Saunders, J. Rife, V.S. Vaddi, and V. Cheng (2013). Information flow diagram analysis of a model cyber-physical system: conflict detection and resolution for airport surface traffic. IEEE Aerospace and Electronics Magazine, 28(12), pp. 26-35. DOI: 10.1109/MAES.2013.6693666.