Unfolding Graph Transformation Systems: Theory and Applications to Verification