| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| A Concurrency and Time Centered Framework for Autonomous Space Systems: Design and application of nonblocking programming techniques, static analysis of C++, and formal methods | 978-3-8383-7733-9 (3-8383-7733-8) | 2010 |