TY  - BOOK
AU  - "Dierks, H"
AU  - 
TI  - Real-time systems : formal specification and automatic verification
SN  - 9780521883337
U1  - 004 OLD 
CY  - "Cambridge, UK ; New York"
ER  -