A Controller Area Network Bus Transceiver Behavioral Model for Network Design and Simulation