To verify embedded system software integrity with TCM and FPGA | IEEE Conference Publication | IEEE Xplore