Satoshi Hiratsuka Akira Fusaoka On a Model-Based Diagnosis for Synchronous Boolean Netowrk. 198-203 http://link.springer.de/link/service/series/0558/bibs/1821/18210198.htm 2000 conf/ieaaie/2000 IEA/AIE db/conf/ieaaie/ieaaie2000.html#HiratsukaF00