Morkunas, K.; Seinauskas, R. Verification of Initialization Sequences for Sequential Circuits. ELEKTRON ELEKTROTECH 2011, 112, 61-64.