Analysis of Discrete Models of biological systems using computer algebra