Systematic embedded software generation from SystemC