Tool support for assurance case development

Ewen Denney, Ganesh Pai. Tool support for assurance case development. Automated Software Engineering, 25(3):435-499, 2018. [doi]