Morkunas, K. and Seinauskas, R. (2011) “Verification of Initialization Sequences for Sequential Circuits”, Elektronika ir Elektrotechnika, 112(6), pp. 61-64. doi: 10.5755/j01.eee.112.6.446.