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