Auslegung und Implementierung digitaler, verteilter Prozeßleitsysteme am Beispiel Industrieanlagen.