Jeremy T. Bradley Thomas Thorne Stochastic Process Algebra Models of a Circadian Clock. 2006 Simulation and Verification of Dynamic Systems http://drops.dagstuhl.de/opus/volltexte/2006/705 conf/dagstuhl/2006P6161 db/conf/dagstuhl/P6161.html#BradleyT06