Chris J. Banks, Daniel D. Seaton, Ian Stark: Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic. CMSB 2015: 222-238