Genetic algorithms for protocol validation | Publicación