Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems | Publicación