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