Sajjad, S., Akhter, N., & Sajjad, L. (2024). Formal Modelling and Model Checking of a Flood Monitoring and Rescue System: A Case Study of Safety-Critical System. VFAST Transactions on Software Engineering, 12(3), 114–137. https://doi.org/10.21015/vtse.v12i3.1871