Adegoke, O., Ab Aziz, A. and Yusof, Y. (2016) “Formal Analysis of an Agent Support Model for Behaviour Change Intervention”, International Journal on Advanced Science, Engineering and Information Technology, 6(6), pp. 1074–1080. doi: 10.18517/ijaseit.6.6.1470.