Challenges in Calculating the WCET of a Complex On-board Satellite Application