Morkunas, K., and R. Seinauskas. 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.