Optimisation of definition structures & parameter values in process algebra models using evolutionary computation. - David R. Oaken (2014)