Formal Foundation for Pattern-Based Modelling | Publicación