Adegoke, Ojeniyi, et al. “Formal Analysis of an Agent Support Model for Behaviour Change Intervention”. International Journal on Advanced Science, Engineering and Information Technology, vol. 6, no. 6, Dec. 2016, pp. 1074-80, doi:10.18517/ijaseit.6.6.1470.