This is an archive repository, the CPS demonstrator was contributed to VIATRA (https://git.eclipse.org/c/viatra/org.eclipse.viatra.examples.git/tree/cps), while the benchmark code is available at https://github.com/viatra/viatra-cps-benchmark
The documentation was moved to https://github.com/viatra/viatra-docs/blob/master/cps/Home.adoc and https://github.com/viatra/viatra-cps-benchmark/wiki