Dynamic Binary Translation -- A Model-Driven Approach | IEEE Conference Publication | IEEE Xplore