Towards automated verification of layered graph transformation specifications
Towards automated software model checking using graph transformation systems and Bogor