A scheduling and binding heuristic for high-level synthesis of fault-tolerant FPGA applications. - Aniruddha Shastri; Greg Stitt; Eduardo Riccio (ASAP, 2015)