Modeling, verification, and exploration of task-level concurrency in real-time embedded systems by Filip Thoen | Menrva Books | MenrvaBooks