F-Timer: dedicated FPGA to real-time systems design support | IEEE Conference Publication | IEEE Xplore