How would you design software to generate PWM signals for actuators while meeting strict timing constraints at Benchmark Space Systems?