The FermaT assembler re-engineering workbench | IEEE Conference Publication | IEEE Xplore