Model-Driven Development of RTOS-Based Embedded Software. - Ji Chan Maeng; Dongjin Na; Yongsoon Lee; Minsoo Ryu (ISCIS, 2006)