Analysis of a Generic Model of Eukaryotic Cell-Cycle Regulation Model MML View MML External URL attila Model types JWS