Takuya Katayama Yutaka Ishikawa Yoshiki Kinoshita Workshop on Dependable Software - Tools and Methods - Workshop Abstract. 824 2005 conf/dsn/2005 DSN http://doi.ieeecomputersociety.org/10.1109/DSN.2005.101 db/conf/dsn/dsn2005.html#KatayamaIK05