SMS: Observer Design for Control and Fault Diagnosis of Boolean Networks by Zhihua Zhang. [electronic resource] /