Production Code Generation and Verification for the Automotive Industry