Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach