You can buy this project and download/modify it how often you want.
Files of the artifact step-sequence version 0.8.0 from the group org.zalando.automata.