Trade-off between safety and normal-case control performance based on probabilistic safety management of control laws | IEEE Conference Publication | IEEE Xplore