https://123dok.org/document/zgwdeg62-test-of-discrete-event-systems.html