Title: Ein Wissensbasiertes Verfahren zur formalen Beschreibung und Auswertung von Randbedingungen- und Pflichtenheften für Automatisierungssysteme