N. Akhtar, D. M. Khan, and M. M. S. Missen, “Formal Validation of an Agent-based Location Guidance System (LGS)”, jictra, pp. 53–58, Dec. 2018, Accessed: Aug. 27, 2026. [Online]. Available: https://www.jictra.com.pk/index.php/jictra/article/view/18