Information flow diagram analysis of a model cyber-physical system: Conflict detection and resolution for airport surface traffic. - Saunders, Frank.; Rife, Jason H.; Vaddi, Sai.; Cheng, Victor. (Tufts University. Tisch Library., 2019)