Algebraic models of digital system design debugging decomposition | IEEE Conference Publication | IEEE Xplore