Text this: Use of probabilistic safety assessment for operational safety :