Title: Verification and scheduling techniques for real-time embedded systems
Subjects: Scheduling, Mathematical models, Embedded computer systems, Real-time control