Real-time systems : specification, verification, and analysis /
Joseph, Mathai.
London : Prentice Hall,
1996.
Includes bibliographical references and index
Real-time data processing.