S. Sajjad, N. Akhter, and L. Sajjad, “Formal Modelling and Model Checking of a Flood Monitoring and Rescue System: A Case Study of Safety-Critical System”, VFAST trans. softw. eng., vol. 12, no. 3, pp. 114–137, Sep. 2024.