TY  - BOOK
AU  - Joseph, M
TI  - Formal techniques in real time and fault-tolerant systems
CY  - Berlin
ER  -