Showing compliance with probabilistic safety criteria and objectives · Study