Verification of Initialization Sequences for Sequential Circuits. ELEKTRON ELEKTROTECH. 2011;112(6):61-64. doi:10.5755/j01.eee.112.6.446