SystemC/C-based Model-driven Design for Embedded Systems