| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Embedded Software Verification and Debugging | Paperback | 978-1-4939-7931-8 (1-4939-7931-0) | 2018 | Markus Winterholer |
| Embedded Software Verification and Debugging | Hardcover | 978-1-4614-2265-5 (1-4614-2265-5) | 2017 | " |