| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Foundations of Real-Time Computing: Formal Specifications and Methods | 978-0-7923-9167-8 (0-7923-9167-5) | 1991 | Gary M. Koob |
| Foundations of Real-Time Computing: Scheduling and Resource Management | 978-0-7923-9166-1 (0-7923-9166-7) | 1991 | " |