TY  - BOOK
AU  -  Ernst-Rüdiger Olderog, Henning Dierks.
TI  - Real-Time Systems: Formal Specification and Automatic Verification
SN  -  978-0521883337 
U1  - 004.33 
PY  - 2008///
CY  - UK
PB  - Cambridge University Press
ER  -