Text this: Verification analysis of an agent based model in behaviour change process