Formal Verification of Three-Valued Digital Waveforms. - Nina Yu. Kutsak; Vladislav V. Podymov (Autom. Control. Comput. Sci., 2020)