TY  - RPRT
TI  - Empowering Multilevel DSMLs with Integrated Runtime Verification
AU  - Fernando Macías
AU  - Adrian Rutle
AU  - Volker Stolz
AU  - Torben Scheffel
AU  - Malte Schmitz
PY  - 2020
UR  - https://arxiv.org/abs/2005.11366
ID  - 2005.11366
ER  -