Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care