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)