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


In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challenging issue. In this paper, we show how the validation of a coupled model and the optimization of its parameters with respect to biological properties formalized in temporal logics, can be done automatically by model-checking. More specifically, we illustrate this approach with the coupling of existing models of the mammalian cell cycle, the p53-based DNA-damage repair network, and irinotecan metabolism, with respect to the biological properties of this anticancer drug.

In Degano, Pierpaoloand Gorrieri, Roberto, editor, Computational Methods in Systems Biology, pages 142–157, Springer Berlin Heidelberg