K. Morkunas and R. Seinauskas, “Verification of Initialization Sequences for Sequential Circuits”, ELEKTRON ELEKTROTECH, vol. 112, no. 6, pp. 61-64, Jun. 2011.