Reasoning in Boolean networks: logic synthesis and verification using testing techniques - Kunz, Wolfgang (Frontiers in electronic testing, 1997)