A symbolic approach to the simulation of biochemical models: application to circadian rhythms | IEEE Conference Publication | IEEE Xplore