Text this: Modelling of Real Time Units in the Verification and Validation Process of Satellite Systems.