F.R. Rasim, 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).