Akhtar, N., Rehman, A. and Khan, D.M. (2018) “Formal Verification of Safety and Liveness Properties using Coloured Petri-Nets: A Flood Monitoring, Warning, and Rescue System”, Journal of Information Communication Technologies and Robotic Applications, pp. 80–88. Available at: https://jictra.nicerjss.com/index.php/jictra/article/view/84 (Accessed: 27 August 2026).