You can download the final version of our challenge for SPLC 2018 here and the model for the case study here.
In case the challenge will be addressed in ABS, the language description can be found under docs.abs-models.org and the implementation of the compiler under github.com/abstools.