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), p. 46. doi: 10.14738/tmlai.62.4428.