Case study on the use of PSA methods: station blackout risk at Millstone Unit 3. (IAEA, 1991)