Text this: Probabilistic safety criteria at the safety function/system level.