You can buy this project and download/modify it how often you want.
Files of the artifact corese-core version 3.3.3 from the group fr.inria.wimmics.