2011. Verification of Initialization Sequences for Sequential Circuits. Elektronika ir Elektrotechnika. 112, 6 (Jun. 2011), 61–64. DOI:https://doi.org/10.5755/j01.eee.112.6.446.