| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Foundations of Dependable Computing: Models and Frameworks for Dependable Systems | 978-0-7923-9484-6 | 1994 | Clifford G. Lau |
| Foundations of Dependable Computing: Paradigms for Dependable Applications | 978-0-7923-9485-3 | 1994 | " |
| Foundations of Dependable Computing: System Implementation | 978-0-7923-9486-0 | 1994 | " |
| Foundations of Real-Time Computing: Formal Specifications and Methods | 978-0-7923-9167-8 | 1991 | André M. van Tilborg |
| Foundations of Real-Time Computing: Scheduling and Resource Management | 978-0-7923-9166-1 | 1991 | " |