We study the model of cellular p53 regulation given in . We adapt the model by replacing by , and obtain the following dynamics.
We firstly consider a small initial set which is given by
The following figure shows the interval overapproximations for the flowpipes computed by Flow* 2.1.0 over the time horizon [0,10]. The total time cost is around 110 seconds.
For the following larger initial set with the same time horizon, Flow* 2.1.0 spent 200 seconds to compute all the flowpipes.
 G. Leenders and J. A.Tuszynski.
Stochastic and deterministic models of cellular p53 regulation.
Frontiers in Oncology. 2013;3:64.