Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation | Publicación