Case study on the use of PSA methods: assessment of technical specifications for the reactor protection system instrumentation. (IAEA, 1992)