Symbolic Approaches To Modeling And Analysis Of Biological Systems