Introduction to the formal design of real-time systems /
Gray, David,1946-
London : Springer-Verlag,
c1999.
Includes bibliographical references and index.
Real-time data processing.
System design.