Enviar por SMS: Formalizovaný model diagnostického systému