А. А. Баркалов, Л. А. Титаренко, Я. Е. Визор, and А. В. Матвиенко, “Optimization of block of replacement of logical conditions in combined automation”, PIC, vol. 3, no. 55, pp. 11–20, Dec. 2016.