Akhtar, Nadeem, et al. “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, June 2018, pp. 80-88, https://www.jictra.com.pk/index.php/jictra/article/view/84.