Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems