Title: Rechnergestütztes Entwicklungssystem für digitale Regelungsaufgaben