Formal Software Specification with Refinement and Modules for Typed Graph Transformation Systems