F. R. Rasim and S. M. Sattler "Structure-Preserving Modeling of Safety-Critical Combinational Circuits", Advances in Science, Technology and Engineering Systems Journal, vol. 3, no. 1, pp. 472–482, 2018, doi: 10.25046/aj030158.