TY  - BOOK
AU  - Catthoor, Francky
AU  - Thoen, Filip
TI  - Modeling, verification, and exploration of task-level concurrency of real-time embedded systems
SN  - 9780792377375
SN  - 99056954
U1  - 004.16 THO 
PY  - 2000///
CY  - Dordrecht ; Boston
PB  - Kluwer Academic Publishers
KW  - Embedded computer systems
KW  - Real-time data processing
N1  - Includes bibliographical references (p. 413-433) and index
ER  -