Filip Thoen

Modeling, verification, and exploration of task-level concurrency in real-time embedded systems