Seol mar théacs é seo: Real-time microcomputer system design :