Combining analysis and synthesis in a model of a biological cell