Diemert, S.; Goodenough, J.; Joyce, J.; Weinstock, C. Incremental Assurance Through Eliminative Argumentation. J. Syst. Saf. 2023, 58, 7-15.