Information flow diagram analysis of a model cyber-physical system: Conflict detection and resolution for airport surface traffic | IEEE Journals & Magazine | IEEE Xplore