Akhtar, N.; Khan, D. M.; Missen, M. M. S. Formal Validation of an Agent-Based Location Guidance System (LGS). jictra 2018, 53-58.