A Process Algebra Genetic Algorithm. - Karaman, Sertac; Shima, Tal; Frazzoli, Emilio (IEEE Trans. Evol. Comput., 2012)