Assembler to C migration using the FermaT transformation system | IEEE Conference Publication | IEEE Xplore