SynDEx version 6.6. 2: Fault-Tolerance Reference Manual