Seol mar théacs é seo: Embedded / real time systems : concepts, design and programming; black book