Leram - Analysis and Control of Boolean Networks: A Semi-Tensor Product Approach