Utsunomiya H, Kobayashi N, Morisaki S, Yamamoto S. A Tool to Create Assurance Case through Models. TECS [Internet]. 2018May3 [cited 2024Nov.23];6(2):46. Available from: http://116.203.177.230/index.php/TMLAI/article/view/4428