A New Specification of Software Components for Embedded Systems. - Takuya Azumi; Masanari Yamamoto; Yasuo Kominami; Nobuhisa Takagi; Hiroshi Oyama 002; Hiroaki Takada (ISORC, 2007)