Embedded software generation from system level specification for multi-tasking embedded systems. - KiSeun Kwon; Youngmin Yi; Dohyung Kim 007; Soonhoi Ha (ASP-DAC, 2005)