Envoyer par SMS: Statická analýza konštrukcie s použitím MKP