TY  - BOOK
AU  - Joseph, Mathai, (Ed.) 
AU  - Joseph,M.
TI  - Real-time systems: specification, verification, and analysis 
SN  - 0134552970 (pbk.)
U1  - 005.2 
PY  - 1996///
CY  - London, New York
PB  - Prentice Hall
KW  - Computer Science
KW  - Real-time data processing
N1  - Includes bibliographical references (p. 259-271) and index
ER  -