Algebraic models of digital system design debugging decomposition. - Alexander Ivannikov; Vladimir P. Kulagin; Aleksandr Romanov 001; Boris Pozdneev (EWDTS, 2016)