Implementing HOTs that Generate Transformations with Two Input Models | IEEE Conference Publication | IEEE Xplore