Cellerator: extending a computer algebra system to include biochemical arrows for signal transduction simulations.