Symbolic Approaches to Modeling and Analysis of Biological Systems