A Temporal Graph Logic for Verification of Graph Transformation Systems