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