Courtois, P. Justifying the dependability of computer-based systems [Electronic resource] : with applications in nuclear engineering / P. Courtois. - Electronic text data. - London : Springer-Verlag, 2008. - (Springer series in reliability engineering, ISSN 1614-7839). - ISBN 978-1-84800-372-9 : Б. ц.