This repo contains the XText bundles/plugins for CoreDSL.
https://www.lysator.liu.se/c/ANSI-C-grammar-y.html
The generated ANTLR grammar (DebugInternalCoreDsl.g) can be converted into EBNF using https://bottlecaps.de/convert/ to create a formal specification of the language