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