Мирошник, М.; Кулак, Э.; Алиева, Е. М.; Караман, Д.; Пахомов, Ю. Methods of Designing Digital Self-Checking Automate. RT 2016, 4, 124-131.