Ronojoy Ghosh, Claire J. Tomlin: An algorithm for reachability computations on hybrid automata models of protein signaling networks. CDC 2004: 2256-2261