Title: Specification and design of embedded systems
Subjects: Embedded computer systems