MORKUNAS, K.; SEINAUSKAS, R. Verification of Initialization Sequences for Sequential Circuits. Elektronika ir Elektrotechnika, v. 112, n. 6, p. 61–64, 8 Jun.2011.