Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Name: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Author: Filip Thoen, Francky Catthoor, Francky Cattthoor