Utsunomiya, H., Kobayashi, N., Morisaki, S. and Yamamoto, S. 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.