Text this: Optimisation of definition structures & parameter values in process algebra models using evolutionary computation