The synthesis of self-checking combinational devices based on properties of codes with summation of weighted transitions and selection of testable outputs groups | IEEE Conference Publication | IEEE Xplore