Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code