“Verification of Initialization Sequences for Sequential Circuits”, ELEKTRON ELEKTROTECH, vol. 112, no. 6, pp. 61–64, Jun. 2011, doi: 10.5755/j01.eee.112.6.446.