How would you perform deterministic timing analysis for a real-time embedded system in Benchmark Space Systems software?