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