Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems 2000 · ENGLISH · PDF View details →