A language-independent and formal approach to pattern-based modelling with support for composition and analysis | Publicación