Case study on the use of PSA methods: assessment of technical specifications for the reactor protection system instrumentation. - International Atomic Energy Agency (Vienna : IAEA, 1992)