Ivanov, D.Y. 2008. GENETIC APPROACH TO THE VERIFYING OF THE SEQUENTIAL CIRCUITS. Radio Electronics, Computer Science, Control. 1 (Sep. 2008).