Satoshi Hiratsuka Akira Fusaoka On a Model-Based Design Verificationfor Combinatorial Boolean Networks. 758-767 2002 conf/ieaaie/2002 IEA/AIE http://link.springer.de/link/service/series/0558/bibs/2358/23580758.htm db/conf/ieaaie/ieaaie2002.html#HiratsukaF02