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