Rachel Lintott, Stephen McMahon, Kevin M. Prise, Celine Addie-Lagorio, Carron Shankland: Using Process Algebra to Model Radiation Induced Bystander Effects. CMSB 2014: 196-210