Envoyer par SMS: Formalizovaný model diagnostického systému