Envoyer par SMS: Potrubný most - modelovanie a statická analýza