A Design Pattern to Build Executable DSMLs and Associated V&V Tools | IEEE Conference Publication | IEEE Xplore