S. Diemert, J. Goodenough, J. Joyce, and C. Weinstock, “Incremental Assurance Through Eliminative Argumentation”, J. Syst. Saf., vol. 58, no. 1, pp. 7–15, Mar. 2023.