2 works on record
Modeling, verification, and exploration of task-level concurrency in real-time embedded systems
2000
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems