Create design_specification.md