Timing Analysis of an Avionics Case Study on Complex Hardware/Software Platforms