Utsunomiya, H. et al. 2018. A Tool to Create Assurance Case through Models. Transactions on Engineering and Computing Sciences. 6, 2 (May 2018), 46. DOI:https://doi.org/10.14738/tmlai.62.4428.