Foundations of real-time computing formal specifications and methods - Tilborg, Andre M Van [ed.]; Koob, Gary M [ed.] (Boston Kluwer Academic Publishers, 1991)
Keywords: Real - Time data processing