Invia SMS: Modelovanie a statická analýza valcovej nádrže