D-Case Steps: New Steps for Writing Assurance Cases. - Yuto Onuma; Toshinori Takai; Tsutomu Koshiyama; Yutaka Matsuno (SAFECOMP Workshops, 2018)