Programming language criteria for model transformation evaluation | IEEE Conference Publication | IEEE Xplore