“Heuristic for Directed Model Checking of Security Protocols” (2012) Sindh University Research Journal - SURJ (Science Series), 44(3). Available at: https://sujo.usindh.edu.pk/index.php/SURJ/article/view/5748 (Accessed: 6 November 2026).