Text this: Modelovanie a statická analýza valcovej nádrže