Utsunomiya, Hiroyuki, Nobuhide Kobayashi, Shuji Morisaki, and Shuichiro Yamamoto. “A Tool to Create Assurance Case through Models”. Transactions on Engineering and Computing Sciences 6, no. 2 (May 3, 2018): 46. Accessed December 12, 2024. http://804474.wannyin.cyou/index.php/TMLAI/article/view/4428.