Text this: Symbolic Approaches to Modeling and Analysis of Biological Systems (1st Edition)