Filip Thoen

1968

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