Statische Analysetechniken für speicherprogrammierbare Steuerungen.