Demo DSL for the Tools&Demo track @ MODELS'26 - View it on GitHub