Case study on the use of PSA methods: assessment of technical specifications for the reactor protection system instrumentation. - Vienna : IAEA, 1992. - 85 p. : 30 cm. ISSN: 1011-4289 Standard No.: IAEA-TECDOC-669