Title: Specification and design methodology for real-time embedded systems
Subjects: Embedded computer systems, Real-time data processing