A Mixed-Mode behavioral model for a Controller-Area-Network bus transceiver: a case study