On properties of algebraic transformations and the synthesis of multifault-irredundant circuits | IEEE Journals & Magazine | IEEE Xplore