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