GROOVE tool for graph transformation and verification