H. Utsunomiya, N. Kobayashi, S. Morisaki, and S. Yamamoto, “A Tool to Create Assurance Case through Models”, TECS, vol. 6, no. 2, p. 46, May 2018.