Reusable Specification Templates for Defining Dynamic Semantics of DSLs | IEEE Conference Publication | IEEE Xplore