How would you configure a timer peripheral to generate a precise 10ms PWM pulse to open a thruster valve at Benchmark Space Systems?