Automatische Generierung problemangepaßter Prozeßrechner-Betriebssysteme.