KITE: a behavioural approach to fault-tolerance in FPGA-based systems | IEEE Conference Publication | IEEE Xplore