TY  - BOOK
AU  - Gray David
TI  - Introduction to the formal design of real-time systems
SN  - 3-540-76140-3
U1  - 005.273 
PY  - 1999///
CY  - London
PB  - Springer-Verlag
KW  - Real-time data processing
KW  - System design
ER  -