Verigraph: A System for Specification and Analysis of Graph Grammars. - Andrei Costa; Jonas Santos Bezerra; Guilherme Grochau Azzi; Leonardo Marques Rodrigues; Thiago Rafael Becker; Ricardo Gabriel Herdt; Rodrigo Machado (SBMF, 2016)