Process algebra with layers: a language for multi-scale integration modelling. - Erin G. Scott (2016)