Observability Criteria for Boolean Networks | Synapse