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