Synthesis of multi-level Boolean networks