Automatic generation of injective modular mappings | IEEE Conference Publication | IEEE Xplore