A symbolic approach to the simulation of biochemical models: application to circadian rhythms