Denney, E., & Pai, G. (2018). Tool Support for Assurance Case Development. Journal of Automated Software Engineering, 25, 435\textendash499. http://doi.org/10.1007/s10515-017-0230-5 (Original work published 2025)