Merge branch 'cores' into slurp-dev
Merge branch 'slurp-dev' of github.com:LTLMoP/LTLMoP into slurp-dev