A Case Study in the Reuse of On-board Embedded Real-Time Software