Diemert, Simon, John Goodenough, Jeff Joyce, and Charles Weinstock. “Incremental Assurance Through Eliminative Argumentation”. Journal of System Safety 58, no. 1 (February 22, 2023): 7–15. Accessed April 21, 2026. https://jsystemsafety.com/index.php/jss/article/view/215.