С. Д. Штовба, «ОБЕСПЕЧЕНИЕ НАДЕЖНОСТИ АЛГОРИТМИЧЕСКИХ ПРОЦЕССОВ МЕТОДАМИ СОФТ-КОМПЬЮТИНГА», Труды ВНТУ, вып. 2, сен. 2011.