Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems

Figure 6

CP-Nets model for communication of Flood-WMR SoS perceivers.