Describir: Statická analýza telekomunikačnej veže