Computational Methods in Systems Biology - Gupta, Ashutosh; Henzinger, Thomas A.; Henzinger, Thomas A. (Springer Berlin Heidelberg, 2013)