https://9lib.org/document/zkw00951-analysis-design-control-data-processing-discrete-event-systems.html