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