Fault Detectability of Asynchronous Switched Boolean Networks: A Set Reachability Approach | IEEE Journals & Magazine | IEEE Xplore