A Tool for the Model-Based Specification of Open Distributed Systems | Publicación