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