From operational to declarative specifications using a genetic algorithm | Publicación