A high-level synthesis approach to design of fault-tolerant systems. - Giacomo Buonanno; M. Pugassi; Mariagiovanna Sami (VTS, 1997)