MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES CARE | Publicación