TY  - BOOK
TI  - Real-Time Systems Formal Specification and Automatic Verification
SN  - 978-0-521-88333-7
AV  - 519.2HEN 
PY  - 2008///
CY  - Germany
PB  - Cambridge
ER  -