Model Transformations in the Model-Based Development of Real-time Systems