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