Modeling, Verification And Exploration Of Task-Level Concurrency In Real-Time Embedded Systems door Francky Catthoor