D04-02-003_Advanced_theoretical_verification_and_process_setting_1.pdf