Utsunomiya, Hiroyuki, Nobuhide Kobayashi, Shuji Morisaki, and Shuichiro Yamamoto. 2018. “A Tool to Create Assurance Case through Models”. Transactions on Engineering and Computing Sciences 6 (2):46. https://doi.org/10.14738/tmlai.62.4428.