| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Fault Tolerant System Design | 978-0-07-037515-4 (0-07-037515-1) | 1993 | Ashok K. Agrawala |
| Real-Time System Design | 978-0-07-037491-1 (0-07-037491-0) | 1990 | " |
| Real-time Systems Design | 978-0-07-100797-9 (0-07-100797-0) | 1990 | A.K. Agrawala |