Title: Konzeption eines Verfahrens zur rechnerunterstützten Verifikation des Entwurfs von Automatisierungsprogrammen