Zaslať SMS: Statická analýza konštrukčných systémov telekomunikačnej veže