Morkunas, K., & Seinauskas, R. (2011). Verification of Initialization Sequences for Sequential Circuits. Elektronika Ir Elektrotechnika, 112(6), 61-64. https://doi.org/10.5755/j01.eee.112.6.446