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