You can buy this project and download/modify it how often you want.
Files of the artifact reactive-model version 1.0.1 from the group de.mhus.cherry.reactive.