A Practical Analytical Approach to Increase Confidence in Software Safety Arguments | IEEE Journals & Magazine | IEEE Xplore