Zaslať SMS: Modelovanie a statická analýza oceľového strešného väzníka