Integrating the Specification Techniques of Graph Transformation and Temporal Logic