Towards a model-driven engineering approach for developing embedded hard real-time software