Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings - Fisher, Jasmin (Springer Berlin Heidelberg, 2008)