Bochkovskii, A., і N. Sapozhnikova. ФОРМАЛІЗАЦІЯ СИСТЕМИ АВТОМАТИЗОВАНОГО КОНТРОЛЮ І ПІДВИЩЕННЯ БЕЗПЕКИ ВИРОБНИЦТВ. Вісник Львівського державного університету безпеки життєдіяльності, Vol 15, Mar. 2018, pp 114-23, https://journal.ldubgd.edu.ua/index.php/Visnuk/article/view/146.