Utsunomiya, Hiroyuki, Nobuhide Kobayashi, Shuji Morisaki, and Shuichiro Yamamoto. “A Tool to Create Assurance Case through Models”. Transactions on Engineering and Computing Sciences 6, no. 2 (May 3, 2018): 46. Accessed May 3, 2024. https://journals.scholarpublishing.org/index.php/TMLAI/article/view/4428.