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