Jürimägi, L., Ubar, R., Jenihhin, M., Raik, J. Calculation of probabilistic testability measures for digital circuits with Structurally Synthesized BDDs // Microprocessors and microsystems (2020) vol. 77, art. 103117, 12 p. https://doi.org/10.1016/j.micpro.2020.103117