Automating the transformation-based analysis of visual languages | Publicación