Computational Methods in Systems Biology - Danos, Vincent; Kanade, Takeo; Schachter, Vincent; Kittler, Josef (Springer Berlin / Heidelberg, 2005)