Computational methods for understanding complexity: the use of formal methods in biology