Formal Methods in Systems Biology - Fisher, Jasmin; Fisher, J.; Pevzner, Pavel; Waterman, Michael S. (Springer Berlin Heidelberg, 2008)