| title | media type | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|---|
| Design and Verification of Microprocessor Systems for High-Assurance Applications | Paperback | 978-1-4899-8459-3 (1-4899-8459-3) | 2014 |
| Design and Verification of Microprocessor Systems for High-Assurance Applications | Hardcover | 978-1-4419-1538-2 (1-4419-1538-9) | 2010 |