Use of probabilistic safety assessment to evaluate nuclear power plant technical specifications. (IAEA, 1991)