Automatic Symmetry Detection for Promela | Publicación