https://123dok.org/document/qvlxkjxd-test-discrete-event-systems-exercise.html