Christopher D. Thompson-Walsh: Semantics and extension of a biological modelling language. University of Cambridge, UK 2013