Sajjad, S. et al. 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 (Sep. 2024), 114–137. DOI:https://doi.org/10.21015/vtse.v12i3.1871.