A mechatronic CAN-based functional design and verification unified approach. - Mohamed Shedeed; M. Galal Elshafey; Mohammed Ali Sobh; Sherif Hammad (ICONS, 2009)