Adegoke, O. et al. 2016. Formal Analysis of an Agent Support Model for Behaviour Change Intervention. International Journal on Advanced Science, Engineering and Information Technology. 6, 6 (Dec. 2016), 1074–1080. DOI:https://doi.org/10.18517/ijaseit.6.6.1470.