Observability of Boolean Control Networks Using Parallel Extension and Set Reachability | IEEE Journals & Magazine | IEEE Xplore