Using activity time windows and logical representation to reduce the complexity of biological network models: G1/S checkpoint pathway with DNA damage. (May 2020)