Akhtar, N., Rehman, A., & 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, 80-88. https://www.jictra.com.pk/index.php/jictra/article/view/84