https://5dok.net/document/ky6ln1ny-accurate-analysis-stream-processing-applications-dataflow-models-automata.html