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