Title: Ein Verfahren zur simulationsbasierten Analyse von verteilten Prozessautomatisierungssystemen in der Spezifikationsphase