Set-theoretic model of digital systems functioning | IEEE Conference Publication | IEEE Xplore