Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings - Jasmin Fisher ((Lecture Notes in Computer Science))