| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Development and Formal Verification of TTCAN: Time-Triggered Controller Area Network | 978-3-8383-3728-9 (3-8383-3728-X) | 2010 |
G L. · Gabriel Lamé · Gabriel Lanyi · Gabriela Leon · Gabrielle Lyon · J. Gabriel Leen