On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle Elisabetta de Maria, Francois Fages, Sylvain Soliman (2009). In CMSB 2009: Computational Methods in Systems Biology, pages 142-157.
