Modeling formalisms in systems biology - Machado, C. D. (2011)