Modeling the CAN Protocol Within the VCC Environment. - Juergen Ehret; Paolo Giusto; Igal Gutkin (PDPTA, 1999)

Validation of Safety-Critical Distributed Real-Time Systems (Validierung von sicherheitskritischen verteilten Realzeitsystemen) - Juergen Ehret (2007)