Modeling and Symbolic Analysis of Biological Protein Signaling Networks Using Hybrid Automata