Ein theoretisches Handbuch, das fortgeschrittene Techniken der modularen Steuerungsentwicklung für diskrete Ereignissysteme vorstellt, wobei schrittweise Abstraktion und klare Schnittstellen zur effizienten Systemverifikation eingesetzt werden.