М. Мирошник, Э. Кулак, Е. М. Алиева, Д. Караман, and Ю. Пахомов, “Methods of designing digital self-checking automate”, RT, vol. 4, no. 187, pp. 124–131, Dec. 2016.