Formal methods in systems biology : first International Workshop, FMSB 2008 : Cambridge, UK, June 4-5, 2008 : proceedings - Fisher, Jasmin (Lecture notes in computer science. Lecture notes in bioinformatics ;, 2008)