Filip Thoen1968BooksModeling, verification, and exploration of task-level concurrency in real-time embedded systemsAuthor data: Open Library