Fault Detection Analysis of Boolean Control Networks