Utsunomiya H, Kobayashi N, Morisaki S, Yamamoto S. A Tool to Create Assurance Case through Models. TECS [Internet]. 2018 May 3 [cited 2026 May 25];6(2):46. Available from: https://scholarpublishing.org/journals/index.php/TECS/article/view/11805