Formal Cell Biology: An Introduction to Formal Methods in Systems Biology (Chapman & Hall/CRC Mathematical and Computational Biology)