"Using graph transformation systems to formalize Tropos diagrams."

Vahid Rafe, Mitra Golparian, Siamak Rasoolzadeh (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics