С. Д. Штовба, «ЗАБЕЗПЕЧЕННЯ НАДІЙНОСТІ АЛГОРИТМІЧНИХ ПРОЦЕСІВ МЕТОДАМИ СОФТ-КОМП’ЮТИНГУ», НаукПраці ВНТУ, вип. 2, Вер 2011.