A Method to Support the Accountability of Safety Cases by Integrating Safety Analysis and Model-Based Design. - Nobuaki Tanaka; Hisashi Yomiya; Kiyoshi Ogawa (SAFECOMP Workshops, 2020)