Read here http://ebook4share.us/?book=0792377370Read Modeling Verification and Exploration of Task-Level Concurrency in Real-Time Embedded