Generic Design Specification (GDS) specifies how generated systems shall be designed. Design principles are formalized in a GDS.