On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle