@article{weko_83175_1,
   author	 = "Takuro,Kutsuna and Shuichi,Sato and Naoya,Chujo",
   title	 = "Efficient Root Cause Detection in Complex Embedded Systems with Abstract Model-based Diagnosis",
   journal	 = "情報処理学会論文誌",
   year 	 = "2012",
   volume	 = "53",
   number	 = "7",
   month	 = "jul"
}