RSYN: a system for automated synthesis of reliable multilevel circuits. - Kaushik De; Chitra Natarajan; Devi Nair; Prithviraj Banerjee (IEEE Trans. Very Large Scale Integr. Syst., 1994)