A CAD-Based tool for fault tolerant distributed embedded systems. - Mahmoud I. Banat; Belal H. Sababha; Sami Al-Hamdan (CoRR, 2020)