A transformation-driven approach to generate a DSML verification framework