Б. Кривошеин, “Проектирование сетевых компьютерных систем по требованиям функциональной безопасности”, CTE, no. 4, Jan. 2014.