The previous page is sending you to https://www.wob.com/en-us/books/filip-thoen/modeling-verification-and-exploration-of-task-level-concurrency-in-real-time-emb/9780792377375/NPB9780792377375.

 If you do not want to visit that page, you can return to the previous page.