| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Design of Dependable ADA | 978-0-13-204967-2 (0-13-204967-8) | 1995 | A. Marpinard · J. C. Geoffroy |
| Design of Dependable Computing Systems | 978-90-481-5941-3 (90-481-5941-5) | 2011 | J.C. Geffroy |
| Embedded System Applications | 978-0-7923-9947-6 (0-7923-9947-1) | 1997 | Jean-Claude Baron · J.C. Geffroy |