Title: Verfahren zur rechnergestützten, statischen Analyse der Entwurfsspezifikation von Prozessautomatisierungssystemen