Automatic Verifying Approach for Product Specification using FTA. - Tetsuji Fukaya; Masayuki Hirayama; Yukihiro Mihara (FTCS, 1994)

How can we get "lessons learned" from real cases? - Kenji Hisazumi; Shigeru Ishida; Mitsuhiro Matsuda; Yukihiro Mihara; Naoshi Uchihira (WESE, 2016)