Thoen, FilipFilipThoenCatthoor, FranckyFranckyCatthoor2021-10-142021-10-141999https://imec-publications.be/handle/20.500.12860/3879Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded SystemsBook