AKHTAR, Nadeem; REHMAN, Abdul; KHAN, Dost Muhammad. 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, [S. l.], p. 80–88, 2018. Disponível em: https://www.jictra.com.pk/index.php/jictra/article/view/84. Acesso em: 26 aug. 2026.