Challenges in Calculating the WCET of a Complex On-board Satellite Application. - Manuel Rodríguez; Nuno Silva; João Esteves; Luis Henriques; Diamantino Costa; Niklas Holsti; Kjeld Hjortnaes (WCET, 2003)