Utsunomiya, H.; Kobayashi, N.; Morisaki, S.; Yamamoto, S. A Tool to Create Assurance Case through Models. TECS 2018, 6, 46.