Real-time systems : abstractions, languages, and design methodologies
[edited by] Krishna M. Kavi
(IEEE Computer Society Press tutorial)
IEEE Computer Society Press, c1992
QA76.54.R4293 1992F0004629
Includes bibliographical references
IEEE Computer Society Press