Sajjad, S., Akhter, N. and 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), pp. 114–137. doi: 10.21015/vtse.v12i3.1871.