Courtois P. Justifying the dependability of computer-based systems : with applications in nuclear engineering / P. Courtois, 2008 r=on-line. - Текст : электронный.