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