Utsunomiya, H., N. Kobayashi, S. Morisaki, and S. Yamamoto. “A Tool to Create Assurance Case through Models”. Transactions on Engineering and Computing Sciences, vol. 6, no. 2, May 2018, p. 46, doi:10.14738/tmlai.62.4428.