Borzoo Bonakdarpour Sandeep S. Kulkarni Anish Arora Disassembling real-time fault-tolerant programs. 169-178 2008 EMSOFT http://doi.acm.org/10.1145/1450058.1450082 conf/emsoft/2008 db/conf/emsoft/emsoft2008.html#BonakdarpourKA08