Transforming information models to support the generation of efficient implementations | IEEE Conference Publication | IEEE Xplore