Text this: The measurement of safety criteria in safety critical systems