A complex cyber-physical system was modeled and analyzed using Information Flow Diagrams (IFDs). Specifically, IFD Analysis was introduced to model four alternative conflict detection and resolution ...