AKHTAR, N.; KHAN, D. M.; MISSEN, M. M. S. Formal Validation of an Agent-based Location Guidance System (LGS). Journal of Information Communication Technologies and Robotic Applications, p. 53-58, 9 dez. 2018.