Dependability Assessment of a Computerized Nuclear Protection System. - Geneviève Allain-Morin; Olivier Pourret (FTCS, 1998)