Steady state analysis of Boolean molecular network models via model reduction and computational algebra