How Using Your Specification to Automate Code Generation Enforces Conformance to Product Requirements