| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Automotive Embedded Systems Handbook | 978-0-8493-8026-6 (0-8493-8026-X) | 2008 | Francoise Simonot-Lion |
| Modeling and Verification of Real-time Systems | 978-1-84821-013-4 (1-84821-013-2) | 2008 | Stephan Merz |
| Modeling and Verification of Real-Time Systems | 978-0-470-39359-8 (0-470-39359-9) | ||