Title: Verification of component-based embedded system designs
Subjects: Embedded computer systems, Inbyggda system