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

Figure 8

Flood-WMR SoS Event-B Model: the two contexts and five machine interactions.