Modular sum codes in building testable discrete systems | IEEE Conference Publication | IEEE Xplore