| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Operating Systems and Embedded Programming | 978-0-471-48601-5 (0-471-48601-9) | |
| Real-time Systems: Scheduling, Analysis, And Verification | 978-81-265-2785-4 (81-265-2785-4) | 2010 |
| Real-Time Systems: Scheduling, Analysis, and Verification | 978-0-471-18406-5 (0-471-18406-3) | 2002 |
A.C. · A. Cheng · A. K. · A.M. · Albert K. · ALBERT M · K. C. · K. Cheng · M.C. · M. K.