Salwa M. Elakeili , S. M. E. . . Testing Mitigation in Safety Critical Systems: Trade-Off Analysis of Various Testing Criteria. sjuob 2020, 33, 8.