1. [1] S. Yamamoto, Y. Matsuno, and M. Tokoro, “d* framework: Inter-dependency model for dependability (fast abstract),” IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2012, Boston, MA, USA, June 25-28, 2012, pp.1-2, 2012.
2. [2] Y. Onuma, T. Takai, T. Koshiyama, and Y. Matsuno, “D-case steps: New steps for writing assurance cases,” Proc. Computer Safety, Reliability, and Security-SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, Sept. 18, 2018, pp.71-78, 2018.
3. [3] European Organisation for the Safety of Air Navigation, “Safety case development manual.” European Air Traffic Management, 2006.
4. [4] Railtrack, “Yellow book 3.” Engineering Safety Management Issue3, vol.1, vol.2, 2000.
5. [5] R. Bloomfield and P. Bishop, “Safety and assurance cases: Past, present and possible future-an Adelard perspective,” Proc. Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 2010.