O. Adegoke, A. Ab Aziz, and Y. Yusof, “Formal Analysis of an Agent Support Model for Behaviour Change Intervention”, Int. J. Adv. Sci. Eng. Inf. Technol., vol. 6, no. 6, pp. 1074–1080, Dec. 2016.