Text this: Meta-model validation of integrated marte and component-based methodology component model for embedded real-time software