System Level Modeling, Simulation And Verification Of A CAN Physical Layer Star Network Using Behavior Modeling Language. - Thang Nguyen; Mihriban Guersoy; Dieter Metzner (ECMS, 2009)