1968
1 work on record
Modeling, verification, and exploration of task-level concurrency in real-time embedded systems
2000