Envoyer par SMS: Modelovanie a statická analýza podjazdného zásobníka