Adegoke, O.; Ab Aziz, A.; Yusof, Y. Formal Analysis of an Agent Support Model for Behaviour Change Intervention. Int. J. Adv. Sci. Eng. Inf. Technol. 2016, 6, 1074-1080.