Text this: Model-based methodology for implenting marte in embedded real-time software