TY  - BOOK
AU  - Merz,Stephen
AU  - Navet,Nicolas
TI  - Modeling and verification of real-time systems: formalisms and software tools 
SN  - 9781848210134
PY  - 2008///
CY  - London, Hoboken, NJ
PB  - ISTE/John Wiley
KW  - Real-time data processing
KW  - Computer software
KW  - Verification
KW  - Formal methods (Computer science)
N1  - Includes bibliograaphical references and index
ER  -